Automatic Synthesis of Control Software for an IndustrialAutomation Control
نویسنده
چکیده
We present a case study on automatic synthesis of control software from formal speciications for an industrial automation control system. Our aim is to compare the eeectiveness (i.e. design eeort and controller quality) of automatic controller synthesis from closed loop formal speciications with that of manual controller design followed by automatic veriication. Our experimental results show that for industrial automation control systems automatic synthesis is a viable and prootable (especially as far as design eeort is concerned) alternative to manual design followed by automatic veriication.
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملAutomatic Synthesis of Control Software for an Industrial Automation Control System
We present a case study on automatic synthesis of control software from formal speci cations for an industrial automation control system. Our aim is to compare the e ectiveness (i.e. design e ort and controller quality) of automatic controller synthesis from closed loop formal speci cations with that of manual controller design followed by automatic veri cation. Our experimental results show th...
متن کاملManaged Pressure Drilling Using Integrated Process Control
Control of wellbore pressure during drilling operations has always been important in the oil industry as this can prevent the possibility of well blowout. The present research employs a combination of automatic process control and statistical process control for the first time for the identification, monitoring, and control of both random and special causes in drilling operations. To this end, ...
متن کاملAutomatic Landing Guidance Systems and Design of an Optimal Landing Control System
Guidance and control of aircraft in the landing phase imposes extra pilot work loads, hence application of automatic landing control systems is of great importance. In this study automatic landing control systems are introduced and an optimal landing control system is designed. The control system performance criteria are based on minimum control effort. The designed system is simulated for a tr...
متن کاملAutomatic Landing Guidance Systems and Design of an Optimal Landing Control System
Guidance and control of aircraft in the landing phase imposes extra pilot work loads, hence application of automatic landing control systems is of great importance. In this study automatic landing control systems are introduced and an optimal landing control system is designed. The control system performance criteria are based on minimum control effort. The designed system is simulated for a tr...
متن کامل